﻿.highlight {
    background: #ddd;
    font-family: Consolas, "Courier New", Courier, monospace;
    font-weight: bold;
    font-size: 80%:
}